针对矩阵满秩分解的外包算法没有对原始矩阵中零元素的个数进行保护且没有对云返回结果的正确性进行验证的问题，提出了一个可验证的矩阵满秩分解的安全外包方案。首先，在加密阶段，结合Sherman-Morrison公式构造出一个稠密的可逆矩阵来进行加密。其次，在云计算阶段，一方面，要求云计算加密矩阵的满秩分解；另一方面，在得到满秩分解的结果（一个列满秩矩阵和一个行满秩矩阵）后，要求分别云计算列满秩矩阵的左逆和行满秩矩阵的右逆。接下来，在验证阶段，用户不仅要分别验证返回的两个矩阵是否满足行满秩和列满秩，还要验证这两个矩阵相乘是否等于加密矩阵。最后，如果验证通过，则用户可以利用私钥进行解密。在协议分析中，证明了所提方案满足正确性、安全性、高效性和可验证性。同时，当选择的原始矩阵的维度是512×512时，无论怎样改变矩阵中非零元素的密度，所提方案计算得到的加密矩阵的熵恒等于18，说明方案确实可以有效保护零元素的个数。实验结果表明所提方案具有较高的效率。

算术相关函数是最近提出的一种研究布尔函数密码学性质的方法，该方法通过定义多元2-adic数上的加法和乘法运算，构建一种新的环结构，实现对经典相关函数的带进位计算的模拟。首先介绍了算术相关函数的定义，并针对具有良好密码学性质的对称布尔函数讨论了其算术相关函数的性质和取值，最后利用对称布尔函数的实值对称性证明了对称布尔函数的算术自相关函数也是一个与向量的重量有关的实值对称函数，至多是n+1值的。